/*
 * author: Andriamananony, Meß, Falk
 */

package JSONWrappers;

import java.util.ArrayList;

public class JSONVariantWrapper {
	public ArrayList<JSONOperationWrapper> operations;
}
